$\forall$$a$:$\mathbb{N}$, $n$:$\mathbb{N}^{+}$. (0 $\leq$ ($a$ rem $n$)) \& (($a$ rem $n$) $<$ $n$)